Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE - ZebraNet as an Example
نویسنده
چکیده
Individual-based hybrid modelling of spatially distributed systems is usually expensive. Here, we consider a hybrid system in which mobile agents spread over the space and interact with each other when in close proximity. An individual-based model for this system needs to capture the spatial attributes of every agent and monitor the interaction between each pair of them. As a result, the cost of simulating this model grows exponentially as the number of agents increases. For this reason, a patch-based model with more abstraction but better scalability is advantageous. In a patch-based model, instead of representing each agent separately, we model the agents in a patch as an aggregation. This property significantly enhances the scalability of the model. In this paper, we convert an individual-based model for a spatially distributed network system for wild-life monitoring, ZebraNet, to a patch-based stochastic HYPE model with accurate performance evaluation. We show the ease and expressiveness of stochastic HYPE for patch-based modelling of hybrid systems. Moreover, a mean-field analytical model is proposed as the fluid flow approximation of the stochastic HYPE model, which can be used to investigate the average behaviour of the modelled system over an infinite number of simulation runs of the stochastic HYPE model.
منابع مشابه
Stochastic HYPE: Flow-based modelling of stochastic hybrid systems
Stochastic HYPE is a novel process algebra that models stochastic, instantaneous and continuous behaviour. It develops the flow-based approach of the hybrid process algebra HYPE by replacing non-urgent events with events with exponentially-distributed durations and also introduces random resets. The random resets allow for general stochasticity, and in particular allow for the use of event dura...
متن کاملA new Stochastic Hybrid Technique for DER Problem
This paper presents a new Hybrid Particle Swarm optimization with Time Varying Acceleration Coefficients (HPSOTVAC) and Bacteria Foraging Algorithm (BFA) namely (PSOTVAC/BFA) base fuzzy stochastic long term approach for determining optimum location and size of Distributed Energy Resources (DERs). The Monte Carlo simulation method is used to model the uncertainties associated with long-term load...
متن کاملA new Stochastic Hybrid Technique for DER Problem
This paper presents a new Hybrid Particle Swarm optimization with Time Varying Acceleration Coefficients (HPSOTVAC) and Bacteria Foraging Algorithm (BFA) namely (PSOTVAC/BFA) base fuzzy stochastic long term approach for determining optimum location and size of Distributed Energy Resources (DERs). The Monte Carlo simulation method is used to model the uncertainties associated with long-term load...
متن کاملHybrid semantics for Bio-PEPA
This paper investigates the stochastic, continuous and instantaneous (hybrid) modelling of systems defined in BioPEPA, a quantitative process algebra for biological modelling. This is achieved by mapping a Bio-PEPA model to a model in stochastic HYPE, a process algebra that models these three behaviour types in a compositional and structured manner. The novel mapping between process algebras pr...
متن کاملHYPE with stochastic events
The process algebra HYPE was recently proposed as a fine-grained modelling approach for capturing the behaviour of hybrid systems. In the original proposal, each flow or influence affecting a variable is modelled separately and the overall behaviour of the system then emerges as the composition of these flows. The discrete behaviour of the system is captured by instantaneous actions which might...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014